pigeon hole principle discrete mathematical structures